101. Arithmetic of finite field
Author: / Joachim von zur Gathen, Jos?� Luis Ima?�a, ??etin Kaya Ko?� (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Finite fields (Algebra)--Congresses,Mappings (Mathematics)--Congresses,Curves, Algebraic--Congresses,Electronic books.
102. Arithmetic of finite fields
Author: / Claude Carlet, Berk Sunar (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Finite fields (Algebra)--Congresses,Mappings (Mathematics)--Congresses,Curves, Algebraic--Congresses
103. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987
Author: Casimir A. Kulikowski, Huber, Gabriel A. Ferrate
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
C65I46
1987
104. Artificial evolution :
Author: Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
618
105. Artificial intelligence :
Author: Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
Classification :
Q334
106. Artificial life and evolutionary computation :
Author: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
Classification :
Q325
.
W58
2017
107. Asymptotic geometric analysis
Author: Monika Ludwig ... [et al.], editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometric analysis, Congresses
Classification :
QA360
.
A89
2013
108. At the intersection of language, logic, and information :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
109. Automata on infinite words
Author: Ecole de printemps d'informatique theorique, Le Mont Dore, May 41-81, 4891 ; edited by M. Nivat and D. Perrin
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
Classification :
QA
76
.
L4
v
.
192
110. Automata on infinite words
Author: Ecole de printemps d'informatique theorique )4891: Le Mont-Dore, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Word problems )Mathematics(-- Congresses
Classification :
QA
267
.
E26
1984
111. Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
Author: edited by M. Nivat and D. Perrin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
Classification :
QA
76
.
L28
Vol
.
192
112. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
113. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
115. Bayesian Statistics in Action
Author: \ [Edited by] Raffaele Argiento...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Bayesian statistical decision theory -- Congresses.,Neural networks (Computer science) -- Congresses.,نظریه تصمیمگیری آماری بیزی -- کنگرهها ,شبکههای عصبی (کامپیوتر) -- کنگرهها
Classification :
E-Book
,
116. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
117. Boolean function complexity /
Author: edited by M.S. Paterson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
Classification :
QA267
.
7
.
B66
1992eb
118. Building bridges :between mathematics and computer science
Author: / [edited by] Martin Groetschel, Gyula O.H. Katona
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computer science -- Mathematics,-- Congresses
Classification :
004
.
0151
B932
2008
119. Building bridges: between mathematics and computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
Classification :
QA
76
.
9
.
M35
.
B85
2008
120. Building bridges : between mathematics and computer science
Author: Martin Grotschel, Gyula O. Katona )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
Classification :
QA
76
.
9
.
B84
